#Density : 9729873489009037379873854879/48000000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {5, 6, 7, 8, 9, 10, 11, 12}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
31114703693495428267331/8000000000000000000000000 -102823993329618834170457/8000000000000000000000000 1123120305042324753449663/40000000000000000000000000 -794974766680452008461979/40000000000000000000000000 1633363621369986864201669/40000000000000000000000000 -244158023226888288374227/10000000000000000000000000
-102823993329618834170457/8000000000000000000000000 339799912877195465998779/8000000000000000000000000 -3711547951464937158414861/40000000000000000000000000 2627133490056486206566113/40000000000000000000000000 -5397736445219613525972543/40000000000000000000000000 806862993103250408328969/10000000000000000000000000
1123120305042324753449663/40000000000000000000000000 -3711547951464937158414861/40000000000000000000000000 40540293490310879999793899/200000000000000000000000000 -28695510368679879599134967/200000000000000000000000000 58958101184218992762287337/200000000000000000000000000 -8813159084733293225405071/50000000000000000000000000
-794974766680452008461979/40000000000000000000000000 2627133490056486206566113/40000000000000000000000000 -28695510368679879599134967/200000000000000000000000000 20311454220621629118661811/200000000000000000000000000 -41732130139950299367759021/200000000000000000000000000 6238191096402202303920043/50000000000000000000000000
1633363621369986864201669/40000000000000000000000000 -5397736445219613525972543/40000000000000000000000000 58958101184218992762287337/200000000000000000000000000 -41732130139950299367759021/200000000000000000000000000 85743278994252518574329331/200000000000000000000000000 -12817053857651778533998773/50000000000000000000000000
-244158023226888288374227/10000000000000000000000000 806862993103250408328969/10000000000000000000000000 -8813159084733293225405071/50000000000000000000000000 6238191096402202303920043/50000000000000000000000000 -12817053857651778533998773/50000000000000000000000000 1915915410710593722825059/12500000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
1915915410710593722825059/12500000000000000000000000 6238191096402202303920043/50000000000000000000000000 -12817053857651778533998773/50000000000000000000000000 806862993103250408328969/10000000000000000000000000 -8813159084733293225405071/50000000000000000000000000 -244158023226888288374227/10000000000000000000000000
6238191096402202303920043/50000000000000000000000000 20311454220621629118661811/200000000000000000000000000 -41732130139950299367759021/200000000000000000000000000 2627133490056486206566113/40000000000000000000000000 -28695510368679879599134967/200000000000000000000000000 -794974766680452008461979/40000000000000000000000000
-12817053857651778533998773/50000000000000000000000000 -41732130139950299367759021/200000000000000000000000000 85743278994252518574329331/200000000000000000000000000 -5397736445219613525972543/40000000000000000000000000 58958101184218992762287337/200000000000000000000000000 1633363621369986864201669/40000000000000000000000000
806862993103250408328969/10000000000000000000000000 2627133490056486206566113/40000000000000000000000000 -5397736445219613525972543/40000000000000000000000000 339799912877195465998779/8000000000000000000000000 -3711547951464937158414861/40000000000000000000000000 -102823993329618834170457/8000000000000000000000000
-8813159084733293225405071/50000000000000000000000000 -28695510368679879599134967/200000000000000000000000000 58958101184218992762287337/200000000000000000000000000 -3711547951464937158414861/40000000000000000000000000 40540293490310879999793899/200000000000000000000000000 1123120305042324753449663/40000000000000000000000000
-244158023226888288374227/10000000000000000000000000 -794974766680452008461979/40000000000000000000000000 1633363621369986864201669/40000000000000000000000000 -102823993329618834170457/8000000000000000000000000 1123120305042324753449663/40000000000000000000000000 31114703693495428267331/8000000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
779920776793737657153547739/1000000000000000000000000000 49543817154061694004730473/500000000000000000000000000 155392149601325943237354811/1000000000000000000000000000 122486708071531046757376881/500000000000000000000000000 -98010743130839373320749729/1000000000000000000000000000 12725948231086390621150829/20000000000000000000000000 182672465754885731123815893/500000000000000000000000000 53346219364276926912487/200000000000000000000000 -232698828209522779163748657/500000000000000000000000000 -9169260809802011353661669/200000000000000000000000000 -342357059943146760695857709/1000000000000000000000000000 -1438157350357388233985259619/1000000000000000000000000000
49543817154061694004730473/500000000000000000000000000 448442885301187328794759601/250000000000000000000000000 146159003776757017522634609/500000000000000000000000000 168356670178863315601334227/250000000000000000000000000 151576525174078706008482197/500000000000000000000000000 -107655735832317030233781519/50000000000000000000000000 -10845787373372231227325897/250000000000000000000000000 -430125650294328814208624971/125000000000000000000000000 29964470068629769348451933/50000000000000000000000000 -608840548029381494672417559/500000000000000000000000000 -250114491813344505548420383/500000000000000000000000000 1016765994611038737023399591/500000000000000000000000000
155392149601325943237354811/1000000000000000000000000000 146159003776757017522634609/500000000000000000000000000 833760335956239570485182267/1000000000000000000000000000 363730553355996841914821293/500000000000000000000000000 45949744841945482652121627/200000000000000000000000000 1060728458736724811341717549/500000000000000000000000000 390871327273114701595718359/500000000000000000000000000 -735520124489829004797198927/500000000000000000000000000 -195296312516725958569603073/125000000000000000000000000 -212831986785201868513045901/1000000000000000000000000000 -13183544134045363344713609/1000000000000000000000000000 -2078000782669337951780139381/1000000000000000000000000000
122486708071531046757376881/500000000000000000000000000 168356670178863315601334227/250000000000000000000000000 363730553355996841914821293/500000000000000000000000000 410070090444891575551278179/500000000000000000000000000 248647480719165248081574987/500000000000000000000000000 678242750294497631221155331/500000000000000000000000000 85935810794959247026552927/125000000000000000000000000 -132947784733947188178846049/62500000000000000000000000 -590995040071305292421071247/500000000000000000000000000 -25985925669598680315709129/50000000000000000000000000 -26033094467201481851583977/500000000000000000000000000 -38602681411872622827646787/25000000000000000000000000
-98010743130839373320749729/1000000000000000000000000000 151576525174078706008482197/500000000000000000000000000 45949744841945482652121627/200000000000000000000000000 248647480719165248081574987/500000000000000000000000000 1108298524750851343563560847/1000000000000000000000000000 411850883763062998429345633/500000000000000000000000000 166662213702122913721247011/500000000000000000000000000 -26121924760188421034233169/15625000000000000000000000 -262972958543132122215678287/500000000000000000000000000 -419500312455921450063702689/1000000000000000000000000000 467409152716536418748928003/1000000000000000000000000000 -998403125000212981559756071/1000000000000000000000000000
12725948231086390621150829/20000000000000000000000000 -107655735832317030233781519/50000000000000000000000000 1060728458736724811341717549/500000000000000000000000000 678242750294497631221155331/500000000000000000000000000 411850883763062998429345633/500000000000000000000000000 5483041451110248380796503201/500000000000000000000000000 346330204122776461229861271/125000000000000000000000000 501601939250398444704634103/500000000000000000000000000 -48630230753923036570777599/7812500000000000000000000 16052975185439742054416047/12500000000000000000000000 501820194098047942378258879/500000000000000000000000000 -5595890755890127958401851369/500000000000000000000000000
182672465754885731123815893/500000000000000000000000000 -10845787373372231227325897/250000000000000000000000000 390871327273114701595718359/500000000000000000000000000 85935810794959247026552927/125000000000000000000000000 166662213702122913721247011/500000000000000000000000000 346330204122776461229861271/125000000000000000000000000 24929940562202829989440439/25000000000000000000000000 -199910873257045817072746843/250000000000000000000000000 -450417744207137777629416301/250000000000000000000000000 -22664568084246959519930331/500000000000000000000000000 39522745990990199020506943/500000000000000000000000000 -1508729797355953020851447567/500000000000000000000000000
53346219364276926912487/200000000000000000000000 -430125650294328814208624971/125000000000000000000000000 -735520124489829004797198927/500000000000000000000000000 -132947784733947188178846049/62500000000000000000000000 -26121924760188421034233169/15625000000000000000000000 501601939250398444704634103/500000000000000000000000000 -199910873257045817072746843/250000000000000000000000000 1093801917439126780788219917/125000000000000000000000000 2577311265976220381395183/3125000000000000000000000 1265411777955035291643572557/500000000000000000000000000 61779173276070144037114491/250000000000000000000000000 -31491799753057153812988169/25000000000000000000000000
-232698828209522779163748657/500000000000000000000000000 29964470068629769348451933/50000000000000000000000000 -195296312516725958569603073/125000000000000000000000000 -590995040071305292421071247/500000000000000000000000000 -262972958543132122215678287/500000000000000000000000000 -48630230753923036570777599/7812500000000000000000000 -450417744207137777629416301/250000000000000000000000000 2577311265976220381395183/3125000000000000000000000 76890445906895921123192059/20000000000000000000000000 -161632191526384895497696473/500000000000000000000000000 -179679017637570496718718317/500000000000000000000000000 397906851437218258715871257/62500000000000000000000000
-9169260809802011353661669/200000000000000000000000000 -608840548029381494672417559/500000000000000000000000000 -212831986785201868513045901/1000000000000000000000000000 -25985925669598680315709129/50000000000000000000000000 -419500312455921450063702689/1000000000000000000000000000 16052975185439742054416047/12500000000000000000000000 -22664568084246959519930331/500000000000000000000000000 1265411777955035291643572557/500000000000000000000000000 -161632191526384895497696473/500000000000000000000000000 249509133784470307927970057/200000000000000000000000000 45885917479738847312717771/200000000000000000000000000 -1161895357635028637992725927/1000000000000000000000000000
-342357059943146760695857709/1000000000000000000000000000 -250114491813344505548420383/500000000000000000000000000 -13183544134045363344713609/1000000000000000000000000000 -26033094467201481851583977/500000000000000000000000000 467409152716536418748928003/1000000000000000000000000000 501820194098047942378258879/500000000000000000000000000 39522745990990199020506943/500000000000000000000000000 61779173276070144037114491/250000000000000000000000000 -179679017637570496718718317/500000000000000000000000000 45885917479738847312717771/200000000000000000000000000 513935610357613898336706871/1000000000000000000000000000 -769660128180707295456152343/1000000000000000000000000000
-1438157350357388233985259619/1000000000000000000000000000 1016765994611038737023399591/500000000000000000000000000 -2078000782669337951780139381/1000000000000000000000000000 -38602681411872622827646787/25000000000000000000000000 -998403125000212981559756071/1000000000000000000000000000 -5595890755890127958401851369/500000000000000000000000000 -1508729797355953020851447567/500000000000000000000000000 -31491799753057153812988169/25000000000000000000000000 397906851437218258715871257/62500000000000000000000000 -1161895357635028637992725927/1000000000000000000000000000 -769660128180707295456152343/1000000000000000000000000000 496237539665536177741146513/40000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
191343919715951199732823711/125000000000000000000000000 84927872470431783069359381/50000000000000000000000000 1531198352099460097574308361/1000000000000000000000000000 107967672706039698970804841/1000000000000000000000000000
84927872470431783069359381/50000000000000000000000000 4178825553905900153432639231/1000000000000000000000000000 1128433020544291725103448447/500000000000000000000000000 496292438953907786926341613/1000000000000000000000000000
1531198352099460097574308361/1000000000000000000000000000 1128433020544291725103448447/500000000000000000000000000 41682002950565086499670577/25000000000000000000000000 99772095752301307144106629/500000000000000000000000000
107967672706039698970804841/1000000000000000000000000000 496292438953907786926341613/1000000000000000000000000000 99772095752301307144106629/500000000000000000000000000 1896094928560875714152372459/1000000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
1135755892647490012411344227/1000000000000000000000000000 1280053862928895656486613653/1000000000000000000000000000 16219373529842549475332849/12500000000000000000000000 -1020886735047902881448772651/1000000000000000000000000000 489958251522622850859250281/500000000000000000000000000 -1760488456964463832244654431/1000000000000000000000000000 -23494166955532308693624507/1000000000000000000000000000 16979707754190746736580209/125000000000000000000000000 -984629404900202571036681651/1000000000000000000000000000 439964915193902125057771427/1000000000000000000000000000
1280053862928895656486613653/1000000000000000000000000000 1158618559629073400907272597/500000000000000000000000000 572459236189009544866095657/500000000000000000000000000 -23345900257070881151979649/25000000000000000000000000 906769044726787721717369109/1000000000000000000000000000 -388350340536700978562277801/250000000000000000000000000 -604243569039539004712902611/500000000000000000000000000 119859013235157313905241137/1000000000000000000000000000 -104471288997811490127002767/125000000000000000000000000 -23494166955532308693624507/1000000000000000000000000000
16219373529842549475332849/12500000000000000000000000 572459236189009544866095657/500000000000000000000000000 591133407280171024728878411/250000000000000000000000000 -913666291585390652198287737/500000000000000000000000000 936348723328294899572498373/500000000000000000000000000 -64162992369036640633924561/20000000000000000000000000 572459236189009544866095657/500000000000000000000000000 123768929572382947204811427/500000000000000000000000000 -913666291585390652198287737/500000000000000000000000000 16219373529842549475332849/12500000000000000000000000
-1020886735047902881448772651/1000000000000000000000000000 -23345900257070881151979649/25000000000000000000000000 -913666291585390652198287737/500000000000000000000000000 88346416342806521119296669/62500000000000000000000000 -1447237214441580299897346657/1000000000000000000000000000 1239643255076904682422753879/500000000000000000000000000 -104471288997811490127002767/125000000000000000000000000 -38259891084888712221215757/200000000000000000000000000 70540751433464309185423421/50000000000000000000000000 -984629404900202571036681651/1000000000000000000000000000
489958251522622850859250281/500000000000000000000000000 906769044726787721717369109/1000000000000000000000000000 936348723328294899572498373/500000000000000000000000000 -1447237214441580299897346657/1000000000000000000000000000 1918866109431104047357855911/1000000000000000000000000000 -2540836605074170244282333241/1000000000000000000000000000 906769044726787721717369109/1000000000000000000000000000 196048603881833670658271853/1000000000000000000000000000 -1447237214441580299897346657/1000000000000000000000000000 489958251522622850859250281/500000000000000000000000000
-1760488456964463832244654431/1000000000000000000000000000 -388350340536700978562277801/250000000000000000000000000 -64162992369036640633924561/20000000000000000000000000 1239643255076904682422753879/500000000000000000000000000 -2540836605074170244282333241/1000000000000000000000000000 2176375046566810262359963879/500000000000000000000000000 -388350340536700978562277801/250000000000000000000000000 -335854173773365177341486801/1000000000000000000000000000 1239643255076904682422753879/500000000000000000000000000 -1760488456964463832244654431/1000000000000000000000000000
-23494166955532308693624507/1000000000000000000000000000 -604243569039539004712902611/500000000000000000000000000 572459236189009544866095657/500000000000000000000000000 -104471288997811490127002767/125000000000000000000000000 906769044726787721717369109/1000000000000000000000000000 -388350340536700978562277801/250000000000000000000000000 1158618559629073400907272597/500000000000000000000000000 119859013235157313905241137/1000000000000000000000000000 -23345900257070881151979649/25000000000000000000000000 1280053862928895656486613653/1000000000000000000000000000
16979707754190746736580209/125000000000000000000000000 119859013235157313905241137/1000000000000000000000000000 123768929572382947204811427/500000000000000000000000000 -38259891084888712221215757/200000000000000000000000000 196048603881833670658271853/1000000000000000000000000000 -335854173773365177341486801/1000000000000000000000000000 119859013235157313905241137/1000000000000000000000000000 25914197605538275285931451/1000000000000000000000000000 -38259891084888712221215757/200000000000000000000000000 16979707754190746736580209/125000000000000000000000000
-984629404900202571036681651/1000000000000000000000000000 -104471288997811490127002767/125000000000000000000000000 -913666291585390652198287737/500000000000000000000000000 70540751433464309185423421/50000000000000000000000000 -1447237214441580299897346657/1000000000000000000000000000 1239643255076904682422753879/500000000000000000000000000 -23345900257070881151979649/25000000000000000000000000 -38259891084888712221215757/200000000000000000000000000 88346416342806521119296669/62500000000000000000000000 -1020886735047902881448772651/1000000000000000000000000000
439964915193902125057771427/1000000000000000000000000000 -23494166955532308693624507/1000000000000000000000000000 16219373529842549475332849/12500000000000000000000000 -984629404900202571036681651/1000000000000000000000000000 489958251522622850859250281/500000000000000000000000000 -1760488456964463832244654431/1000000000000000000000000000 1280053862928895656486613653/1000000000000000000000000000 16979707754190746736580209/125000000000000000000000000 -1020886735047902881448772651/1000000000000000000000000000 1135755892647490012411344227/1000000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
59769440066537086573110171/500000000000000000000000000 372558232119338399097515377/500000000000000000000000000 2131980314979669910293489/125000000000000000000000000 0/1 59769440066537086573110171/500000000000000000000000000 372558232119338399097515377/500000000000000000000000000
372558232119338399097515377/500000000000000000000000000 2322250905569318066809445389/500000000000000000000000000 26578356726070422140650381/250000000000000000000000000 0/1 372558232119338399097515377/500000000000000000000000000 2322250905569318066809445389/500000000000000000000000000
2131980314979669910293489/125000000000000000000000000 26578356726070422140650381/250000000000000000000000000 376825162111932867606820653/250000000000000000000000000 0/1 2131980314979669910293489/125000000000000000000000000 26578356726070422140650381/250000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1
59769440066537086573110171/500000000000000000000000000 372558232119338399097515377/500000000000000000000000000 2131980314979669910293489/125000000000000000000000000 0/1 59769440066537086573110171/500000000000000000000000000 372558232119338399097515377/500000000000000000000000000
372558232119338399097515377/500000000000000000000000000 2322250905569318066809445389/500000000000000000000000000 26578356726070422140650381/250000000000000000000000000 0/1 372558232119338399097515377/500000000000000000000000000 2322250905569318066809445389/500000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
674569604517324700825030943/500000000000000000000000000 2023367402372953340100411/125000000000000000000000000 12816694729236126469255291/500000000000000000000000000 13420607000518355775739693/500000000000000000000000000 -57762962703800057850816257/500000000000000000000000000 12816694729236126469255291/500000000000000000000000000 211112399287344972236323/62500000000000000000000000 2023367402372953340100411/125000000000000000000000000 674569604517324700825030943/500000000000000000000000000
2023367402372953340100411/125000000000000000000000000 6123917281055661954096487/40000000000000000000000000 220784974863966903263331719/500000000000000000000000000 40255028603515579924161/125000000000000000000000000 -173259653291051949253989/125000000000000000000000000 -220477426084447169062883663/500000000000000000000000000 633230350277050462671/15625000000000000000000000 -152709511025023496571948367/1000000000000000000000000000 2023367402372953340100411/125000000000000000000000000
12816694729236126469255291/500000000000000000000000000 220784974863966903263331719/500000000000000000000000000 636959562452292757148697589/500000000000000000000000000 254988991283960917479041/500000000000000000000000000 -1097485351657055797251109/500000000000000000000000000 -127294506581456785676679291/100000000000000000000000000 4011095603927431118351/62500000000000000000000000 -220477426084447169062883663/500000000000000000000000000 12816694729236126469255291/500000000000000000000000000
13420607000518355775739693/500000000000000000000000000 40255028603515579924161/125000000000000000000000000 254988991283960917479041/500000000000000000000000000 267003865955742949885943/500000000000000000000000000 -1149197972221101221107507/500000000000000000000000000 254988991283960917479041/500000000000000000000000000 4200095178909299470073/62500000000000000000000000 40255028603515579924161/125000000000000000000000000 13420607000518355775739693/500000000000000000000000000
-57762962703800057850816257/500000000000000000000000000 -173259653291051949253989/125000000000000000000000000 -1097485351657055797251109/500000000000000000000000000 -1149197972221101221107507/500000000000000000000000000 4946205458972625500216543/500000000000000000000000000 -1097485351657055797251109/500000000000000000000000000 -18077419386647545962877/62500000000000000000000000 -173259653291051949253989/125000000000000000000000000 -57762962703800057850816257/500000000000000000000000000
12816694729236126469255291/500000000000000000000000000 -220477426084447169062883663/500000000000000000000000000 -127294506581456785676679291/100000000000000000000000000 254988991283960917479041/500000000000000000000000000 -1097485351657055797251109/500000000000000000000000000 636959562452292757148697589/500000000000000000000000000 4011095603927431118351/62500000000000000000000000 220784974863966903263331719/500000000000000000000000000 12816694729236126469255291/500000000000000000000000000
211112399287344972236323/62500000000000000000000000 633230350277050462671/15625000000000000000000000 4011095603927431118351/62500000000000000000000000 4200095178909299470073/62500000000000000000000000 -18077419386647545962877/62500000000000000000000000 4011095603927431118351/62500000000000000000000000 66069453521774772503/7812500000000000000000000 633230350277050462671/15625000000000000000000000 211112399287344972236323/62500000000000000000000000
2023367402372953340100411/125000000000000000000000000 -152709511025023496571948367/1000000000000000000000000000 -220477426084447169062883663/500000000000000000000000000 40255028603515579924161/125000000000000000000000000 -173259653291051949253989/125000000000000000000000000 220784974863966903263331719/500000000000000000000000000 633230350277050462671/15625000000000000000000000 6123917281055661954096487/40000000000000000000000000 2023367402372953340100411/125000000000000000000000000
674569604517324700825030943/500000000000000000000000000 2023367402372953340100411/125000000000000000000000000 12816694729236126469255291/500000000000000000000000000 13420607000518355775739693/500000000000000000000000000 -57762962703800057850816257/500000000000000000000000000 12816694729236126469255291/500000000000000000000000000 211112399287344972236323/62500000000000000000000000 2023367402372953340100411/125000000000000000000000000 674569604517324700825030943/500000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
444900705915583453801703/15625000000000000000000000 28283084069500153/250000000000000000000000000 -12383758067088813731121471/125000000000000000000000000 12383758067088813731121471/125000000000000000000000000 4953503257779522898526511/50000000000000000000000000 1764577213463658378132037/250000000000000000000000000 9323478212750513/62500000000000000000000000
28283084069500153/250000000000000000000000000 874839234034047869643313/500000000000000000000000000 3069799729455239735716359/125000000000000000000000000 -3069799729455239735716359/125000000000000000000000000 12279199259492553617392713/500000000000000000000000000 23460932171044441/500000000000000000000000000 1764577213463658378132037/250000000000000000000000000
-12383758067088813731121471/125000000000000000000000000 3069799729455239735716359/125000000000000000000000000 86175107517551022501857859/125000000000000000000000000 -86175107517551022501857859/125000000000000000000000000 0/1 -3069799729455239735716359/125000000000000000000000000 12383758067088813731121471/125000000000000000000000000
12383758067088813731121471/125000000000000000000000000 -3069799729455239735716359/125000000000000000000000000 -86175107517551022501857859/125000000000000000000000000 86175107517551022501857859/125000000000000000000000000 0/1 3069799729455239735716359/125000000000000000000000000 -12383758067088813731121471/125000000000000000000000000
4953503257779522898526511/50000000000000000000000000 12279199259492553617392713/500000000000000000000000000 0/1 0/1 344700430764991517718515997/500000000000000000000000000 12279199259492553617392713/500000000000000000000000000 4953503257779522898526511/50000000000000000000000000
1764577213463658378132037/250000000000000000000000000 23460932171044441/500000000000000000000000000 -3069799729455239735716359/125000000000000000000000000 3069799729455239735716359/125000000000000000000000000 12279199259492553617392713/500000000000000000000000000 874839234034047869643313/500000000000000000000000000 28283084069500153/250000000000000000000000000
9323478212750513/62500000000000000000000000 1764577213463658378132037/250000000000000000000000000 12383758067088813731121471/125000000000000000000000000 -12383758067088813731121471/125000000000000000000000000 4953503257779522898526511/50000000000000000000000000 28283084069500153/250000000000000000000000000 444900705915583453801703/15625000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
496237539665536177741146513/40000000000000000000000000 -5595890755890127958401851369/500000000000000000000000000 -1161895357635028637992725927/1000000000000000000000000000 -38602681411872622827646787/25000000000000000000000000 -31491799753057153812988169/25000000000000000000000000 1016765994611038737023399591/500000000000000000000000000 -769660128180707295456152343/1000000000000000000000000000 -998403125000212981559756071/1000000000000000000000000000 397906851437218258715871257/62500000000000000000000000 -2078000782669337951780139381/1000000000000000000000000000 -1508729797355953020851447567/500000000000000000000000000 -1438157350357388233985259619/1000000000000000000000000000
-5595890755890127958401851369/500000000000000000000000000 5483041451110248380796503201/500000000000000000000000000 16052975185439742054416047/12500000000000000000000000 678242750294497631221155331/500000000000000000000000000 501601939250398444704634103/500000000000000000000000000 -107655735832317030233781519/50000000000000000000000000 501820194098047942378258879/500000000000000000000000000 411850883763062998429345633/500000000000000000000000000 -48630230753923036570777599/7812500000000000000000000 1060728458736724811341717549/500000000000000000000000000 346330204122776461229861271/125000000000000000000000000 12725948231086390621150829/20000000000000000000000000
-1161895357635028637992725927/1000000000000000000000000000 16052975185439742054416047/12500000000000000000000000 249509133784470307927970057/200000000000000000000000000 -25985925669598680315709129/50000000000000000000000000 1265411777955035291643572557/500000000000000000000000000 -608840548029381494672417559/500000000000000000000000000 45885917479738847312717771/200000000000000000000000000 -419500312455921450063702689/1000000000000000000000000000 -161632191526384895497696473/500000000000000000000000000 -212831986785201868513045901/1000000000000000000000000000 -22664568084246959519930331/500000000000000000000000000 -9169260809802011353661669/200000000000000000000000000
-38602681411872622827646787/25000000000000000000000000 678242750294497631221155331/500000000000000000000000000 -25985925669598680315709129/50000000000000000000000000 410070090444891575551278179/500000000000000000000000000 -132947784733947188178846049/62500000000000000000000000 168356670178863315601334227/250000000000000000000000000 -26033094467201481851583977/500000000000000000000000000 248647480719165248081574987/500000000000000000000000000 -590995040071305292421071247/500000000000000000000000000 363730553355996841914821293/500000000000000000000000000 85935810794959247026552927/125000000000000000000000000 122486708071531046757376881/500000000000000000000000000
-31491799753057153812988169/25000000000000000000000000 501601939250398444704634103/500000000000000000000000000 1265411777955035291643572557/500000000000000000000000000 -132947784733947188178846049/62500000000000000000000000 1093801917439126780788219917/125000000000000000000000000 -430125650294328814208624971/125000000000000000000000000 61779173276070144037114491/250000000000000000000000000 -26121924760188421034233169/15625000000000000000000000 2577311265976220381395183/3125000000000000000000000 -735520124489829004797198927/500000000000000000000000000 -199910873257045817072746843/250000000000000000000000000 53346219364276926912487/200000000000000000000000
1016765994611038737023399591/500000000000000000000000000 -107655735832317030233781519/50000000000000000000000000 -608840548029381494672417559/500000000000000000000000000 168356670178863315601334227/250000000000000000000000000 -430125650294328814208624971/125000000000000000000000000 448442885301187328794759601/250000000000000000000000000 -250114491813344505548420383/500000000000000000000000000 151576525174078706008482197/500000000000000000000000000 29964470068629769348451933/50000000000000000000000000 146159003776757017522634609/500000000000000000000000000 -10845787373372231227325897/250000000000000000000000000 49543817154061694004730473/500000000000000000000000000
-769660128180707295456152343/1000000000000000000000000000 501820194098047942378258879/500000000000000000000000000 45885917479738847312717771/200000000000000000000000000 -26033094467201481851583977/500000000000000000000000000 61779173276070144037114491/250000000000000000000000000 -250114491813344505548420383/500000000000000000000000000 513935610357613898336706871/1000000000000000000000000000 467409152716536418748928003/1000000000000000000000000000 -179679017637570496718718317/500000000000000000000000000 -13183544134045363344713609/1000000000000000000000000000 39522745990990199020506943/500000000000000000000000000 -342357059943146760695857709/1000000000000000000000000000
-998403125000212981559756071/1000000000000000000000000000 411850883763062998429345633/500000000000000000000000000 -419500312455921450063702689/1000000000000000000000000000 248647480719165248081574987/500000000000000000000000000 -26121924760188421034233169/15625000000000000000000000 151576525174078706008482197/500000000000000000000000000 467409152716536418748928003/1000000000000000000000000000 1108298524750851343563560847/1000000000000000000000000000 -262972958543132122215678287/500000000000000000000000000 45949744841945482652121627/200000000000000000000000000 166662213702122913721247011/500000000000000000000000000 -98010743130839373320749729/1000000000000000000000000000
397906851437218258715871257/62500000000000000000000000 -48630230753923036570777599/7812500000000000000000000 -161632191526384895497696473/500000000000000000000000000 -590995040071305292421071247/500000000000000000000000000 2577311265976220381395183/3125000000000000000000000 29964470068629769348451933/50000000000000000000000000 -179679017637570496718718317/500000000000000000000000000 -262972958543132122215678287/500000000000000000000000000 76890445906895921123192059/20000000000000000000000000 -195296312516725958569603073/125000000000000000000000000 -450417744207137777629416301/250000000000000000000000000 -232698828209522779163748657/500000000000000000000000000
-2078000782669337951780139381/1000000000000000000000000000 1060728458736724811341717549/500000000000000000000000000 -212831986785201868513045901/1000000000000000000000000000 363730553355996841914821293/500000000000000000000000000 -735520124489829004797198927/500000000000000000000000000 146159003776757017522634609/500000000000000000000000000 -13183544134045363344713609/1000000000000000000000000000 45949744841945482652121627/200000000000000000000000000 -195296312516725958569603073/125000000000000000000000000 833760335956239570485182267/1000000000000000000000000000 390871327273114701595718359/500000000000000000000000000 155392149601325943237354811/1000000000000000000000000000
-1508729797355953020851447567/500000000000000000000000000 346330204122776461229861271/125000000000000000000000000 -22664568084246959519930331/500000000000000000000000000 85935810794959247026552927/125000000000000000000000000 -199910873257045817072746843/250000000000000000000000000 -10845787373372231227325897/250000000000000000000000000 39522745990990199020506943/500000000000000000000000000 166662213702122913721247011/500000000000000000000000000 -450417744207137777629416301/250000000000000000000000000 390871327273114701595718359/500000000000000000000000000 24929940562202829989440439/25000000000000000000000000 182672465754885731123815893/500000000000000000000000000
-1438157350357388233985259619/1000000000000000000000000000 12725948231086390621150829/20000000000000000000000000 -9169260809802011353661669/200000000000000000000000000 122486708071531046757376881/500000000000000000000000000 53346219364276926912487/200000000000000000000000 49543817154061694004730473/500000000000000000000000000 -342357059943146760695857709/1000000000000000000000000000 -98010743130839373320749729/1000000000000000000000000000 -232698828209522779163748657/500000000000000000000000000 155392149601325943237354811/1000000000000000000000000000 182672465754885731123815893/500000000000000000000000000 779920776793737657153547739/1000000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
1896094928560875714152372459/1000000000000000000000000000 496292438953907786926341613/1000000000000000000000000000 99772095752301307144106629/500000000000000000000000000 107967672706039698970804841/1000000000000000000000000000
496292438953907786926341613/1000000000000000000000000000 4178825553905900153432639231/1000000000000000000000000000 1128433020544291725103448447/500000000000000000000000000 84927872470431783069359381/50000000000000000000000000
99772095752301307144106629/500000000000000000000000000 1128433020544291725103448447/500000000000000000000000000 41682002950565086499670577/25000000000000000000000000 1531198352099460097574308361/1000000000000000000000000000
107967672706039698970804841/1000000000000000000000000000 84927872470431783069359381/50000000000000000000000000 1531198352099460097574308361/1000000000000000000000000000 191343919715951199732823711/125000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
573188256778895878507882263/500000000000000000000000000 -53216661909003749999008731/31250000000000000000000000 13439829172387157021449071/62500000000000000000000000 -18780600010333945491446247/31250000000000000000000000 51484548626984016512642487/100000000000000000000000000 1855939389899388441581019/7812500000000000000000000
-53216661909003749999008731/31250000000000000000000000 675657360513349069593649707/250000000000000000000000000 -79323302543916317432934303/250000000000000000000000000 117445192038292594978128987/125000000000000000000000000 -229820219939992336861480563/250000000000000000000000000 -8970672565693102559389251/25000000000000000000000000
13439829172387157021449071/62500000000000000000000000 -79323302543916317432934303/250000000000000000000000000 55265458433145526426297221/1000000000000000000000000000 -56075794615466441123594247/500000000000000000000000000 18932086304180058528282879/200000000000000000000000000 44488022386047829662352977/1000000000000000000000000000
-18780600010333945491446247/31250000000000000000000000 117445192038292594978128987/125000000000000000000000000 -56075794615466441123594247/500000000000000000000000000 81932546391137492413534893/250000000000000000000000000 -155860173301851884814605097/500000000000000000000000000 -12614516640519073606759911/100000000000000000000000000
51484548626984016512642487/100000000000000000000000000 -229820219939992336861480563/250000000000000000000000000 18932086304180058528282879/200000000000000000000000000 -155860173301851884814605097/500000000000000000000000000 73843608231207534036580471/200000000000000000000000000 111989866276065855868553287/1000000000000000000000000000
1855939389899388441581019/7812500000000000000000000 -8970672565693102559389251/25000000000000000000000000 44488022386047829662352977/1000000000000000000000000000 -12614516640519073606759911/100000000000000000000000000 111989866276065855868553287/1000000000000000000000000000 49432462428110478404827817/1000000000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
457927267119691699731140937/500000000000000000000000000 -457927267119691699731140937/500000000000000000000000000 -1591042372545507427/1000000000000000000000000000 -3676239995766539295548631/125000000000000000000000000 5881984137883096537429633/200000000000000000000000000 -29409920710686225067836831/1000000000000000000000000000 0/1 -173463874665595739019823739/250000000000000000000000000 173463874665595739019823739/250000000000000000000000000 727629036204507619/500000000000000000000000000
-457927267119691699731140937/500000000000000000000000000 457927267119691699731140937/500000000000000000000000000 1591042372545507427/1000000000000000000000000000 3676239995766539295548631/125000000000000000000000000 -5881984137883096537429633/200000000000000000000000000 29409920710686225067836831/1000000000000000000000000000 0/1 173463874665595739019823739/250000000000000000000000000 -173463874665595739019823739/250000000000000000000000000 -727629036204507619/500000000000000000000000000
-1591042372545507427/1000000000000000000000000000 1591042372545507427/1000000000000000000000000000 915854533382421528228271351/1000000000000000000000000000 -3676240111731190063799931/125000000000000000000000000 2940992174195957198795051/100000000000000000000000000 7352480296962481670558467/250000000000000000000000000 0/1 832493593348862739/500000000000000000000000000 -832493593348862739/500000000000000000000000000 -346927749612348334942397663/500000000000000000000000000
-3676239995766539295548631/125000000000000000000000000 3676239995766539295548631/125000000000000000000000000 -3676240111731190063799931/125000000000000000000000000 235620658956472291386797/390625000000000000000000 134799131525626760377779113/500000000000000000000000000 -3409324807119595543776839/7812500000000000000000000 0/1 11140543345230348707988889/500000000000000000000000000 -11140543345230348707988889/500000000000000000000000000 11140543960306664760613403/500000000000000000000000000
5881984137883096537429633/200000000000000000000000000 -5881984137883096537429633/200000000000000000000000000 2940992174195957198795051/100000000000000000000000000 134799131525626760377779113/500000000000000000000000000 301594443318713041978162201/500000000000000000000000000 -87278714900386042867604957/200000000000000000000000000 0/1 -35649741067081563591639/1600000000000000000000000 35649741067081563591639/1600000000000000000000000 -22281088524117441030376819/1000000000000000000000000000
-29409920710686225067836831/1000000000000000000000000000 29409920710686225067836831/1000000000000000000000000000 7352480296962481670558467/250000000000000000000000000 -3409324807119595543776839/7812500000000000000000000 -87278714900386042867604957/200000000000000000000000000 603188886536269920606132089/1000000000000000000000000000 0/1 11140544112393511844052317/500000000000000000000000000 -11140544112393511844052317/500000000000000000000000000 -11140544113339313492040803/500000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
-173463874665595739019823739/250000000000000000000000000 173463874665595739019823739/250000000000000000000000000 832493593348862739/500000000000000000000000000 11140543345230348707988889/500000000000000000000000000 -35649741067081563591639/1600000000000000000000000 11140544112393511844052317/500000000000000000000000000 0/1 525668034633748852208903729/1000000000000000000000000000 -525668034633748852208903729/1000000000000000000000000000 -1450709871637800951/1000000000000000000000000000
173463874665595739019823739/250000000000000000000000000 -173463874665595739019823739/250000000000000000000000000 -832493593348862739/500000000000000000000000000 -11140543345230348707988889/500000000000000000000000000 35649741067081563591639/1600000000000000000000000 -11140544112393511844052317/500000000000000000000000000 0/1 -525668034633748852208903729/1000000000000000000000000000 525668034633748852208903729/1000000000000000000000000000 1450709871637800951/1000000000000000000000000000
727629036204507619/500000000000000000000000000 -727629036204507619/500000000000000000000000000 -346927749612348334942397663/500000000000000000000000000 11140543960306664760613403/500000000000000000000000000 -22281088524117441030376819/1000000000000000000000000000 -11140544113339313492040803/500000000000000000000000000 0/1 -1450709871637800951/1000000000000000000000000000 1450709871637800951/1000000000000000000000000000 525668035977637365172351391/1000000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
49432462428110478404827817/1000000000000000000000000000 111989866276065855868553287/1000000000000000000000000000 44488022386047829662352977/1000000000000000000000000000 -12614516640519073606759911/100000000000000000000000000 -8970672565693102559389251/25000000000000000000000000 1855939389899388441581019/7812500000000000000000000
111989866276065855868553287/1000000000000000000000000000 73843608231207534036580471/200000000000000000000000000 18932086304180058528282879/200000000000000000000000000 -155860173301851884814605097/500000000000000000000000000 -229820219939992336861480563/250000000000000000000000000 51484548626984016512642487/100000000000000000000000000
44488022386047829662352977/1000000000000000000000000000 18932086304180058528282879/200000000000000000000000000 55265458433145526426297221/1000000000000000000000000000 -56075794615466441123594247/500000000000000000000000000 -79323302543916317432934303/250000000000000000000000000 13439829172387157021449071/62500000000000000000000000
-12614516640519073606759911/100000000000000000000000000 -155860173301851884814605097/500000000000000000000000000 -56075794615466441123594247/500000000000000000000000000 81932546391137492413534893/250000000000000000000000000 117445192038292594978128987/125000000000000000000000000 -18780600010333945491446247/31250000000000000000000000
-8970672565693102559389251/25000000000000000000000000 -229820219939992336861480563/250000000000000000000000000 -79323302543916317432934303/250000000000000000000000000 117445192038292594978128987/125000000000000000000000000 675657360513349069593649707/250000000000000000000000000 -53216661909003749999008731/31250000000000000000000000
1855939389899388441581019/7812500000000000000000000 51484548626984016512642487/100000000000000000000000000 13439829172387157021449071/62500000000000000000000000 -18780600010333945491446247/31250000000000000000000000 -53216661909003749999008731/31250000000000000000000000 573188256778895878507882263/500000000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
525668034633748852208903729/1000000000000000000000000000 -525668034633748852208903729/1000000000000000000000000000 -1450709871637800951/1000000000000000000000000000 11140543345230348707988889/500000000000000000000000000 -35649741067081563591639/1600000000000000000000000 11140544112393511844052317/500000000000000000000000000 0/1 -173463874665595739019823739/250000000000000000000000000 173463874665595739019823739/250000000000000000000000000 832493593348862739/500000000000000000000000000
-525668034633748852208903729/1000000000000000000000000000 525668034633748852208903729/1000000000000000000000000000 1450709871637800951/1000000000000000000000000000 -11140543345230348707988889/500000000000000000000000000 35649741067081563591639/1600000000000000000000000 -11140544112393511844052317/500000000000000000000000000 0/1 173463874665595739019823739/250000000000000000000000000 -173463874665595739019823739/250000000000000000000000000 -832493593348862739/500000000000000000000000000
-1450709871637800951/1000000000000000000000000000 1450709871637800951/1000000000000000000000000000 525668035977637365172351391/1000000000000000000000000000 11140543960306664760613403/500000000000000000000000000 -22281088524117441030376819/1000000000000000000000000000 -11140544113339313492040803/500000000000000000000000000 0/1 727629036204507619/500000000000000000000000000 -727629036204507619/500000000000000000000000000 -346927749612348334942397663/500000000000000000000000000
11140543345230348707988889/500000000000000000000000000 -11140543345230348707988889/500000000000000000000000000 11140543960306664760613403/500000000000000000000000000 235620658956472291386797/390625000000000000000000 134799131525626760377779113/500000000000000000000000000 -3409324807119595543776839/7812500000000000000000000 0/1 -3676239995766539295548631/125000000000000000000000000 3676239995766539295548631/125000000000000000000000000 -3676240111731190063799931/125000000000000000000000000
-35649741067081563591639/1600000000000000000000000 35649741067081563591639/1600000000000000000000000 -22281088524117441030376819/1000000000000000000000000000 134799131525626760377779113/500000000000000000000000000 301594443318713041978162201/500000000000000000000000000 -87278714900386042867604957/200000000000000000000000000 0/1 5881984137883096537429633/200000000000000000000000000 -5881984137883096537429633/200000000000000000000000000 2940992174195957198795051/100000000000000000000000000
11140544112393511844052317/500000000000000000000000000 -11140544112393511844052317/500000000000000000000000000 -11140544113339313492040803/500000000000000000000000000 -3409324807119595543776839/7812500000000000000000000 -87278714900386042867604957/200000000000000000000000000 603188886536269920606132089/1000000000000000000000000000 0/1 -29409920710686225067836831/1000000000000000000000000000 29409920710686225067836831/1000000000000000000000000000 7352480296962481670558467/250000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
-173463874665595739019823739/250000000000000000000000000 173463874665595739019823739/250000000000000000000000000 727629036204507619/500000000000000000000000000 -3676239995766539295548631/125000000000000000000000000 5881984137883096537429633/200000000000000000000000000 -29409920710686225067836831/1000000000000000000000000000 0/1 457927267119691699731140937/500000000000000000000000000 -457927267119691699731140937/500000000000000000000000000 -1591042372545507427/1000000000000000000000000000
173463874665595739019823739/250000000000000000000000000 -173463874665595739019823739/250000000000000000000000000 -727629036204507619/500000000000000000000000000 3676239995766539295548631/125000000000000000000000000 -5881984137883096537429633/200000000000000000000000000 29409920710686225067836831/1000000000000000000000000000 0/1 -457927267119691699731140937/500000000000000000000000000 457927267119691699731140937/500000000000000000000000000 1591042372545507427/1000000000000000000000000000
832493593348862739/500000000000000000000000000 -832493593348862739/500000000000000000000000000 -346927749612348334942397663/500000000000000000000000000 -3676240111731190063799931/125000000000000000000000000 2940992174195957198795051/100000000000000000000000000 7352480296962481670558467/250000000000000000000000000 0/1 -1591042372545507427/1000000000000000000000000000 1591042372545507427/1000000000000000000000000000 915854533382421528228271351/1000000000000000000000000000

